<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
<title>Session Logging Tests - part 2</title>
</head>
<body>
<h1>Session Logging Tests - part 2</h1>
<p>This file contains a single logged doctest (as well as a non-logged interpreter).</p>

<h3>A doctest</h3>
<p>You know the drill...</p>
<pre title="doctest log_id=( doctest_2 )">
>>> triple(14)
42
</pre>
<h3>A non-logged interpreter</h3>
<pre title="interpreter">
>>> print("This is private - it will not be recorded.")
This is private - it will not be recorded.
</pre>


<p><a href="index.html">Back to the test index</a></p>
</body>
</html>
